decrement function in asymptotic notation